Винарский Е. М. , Лапутенко А. В. «Синтез тестов для цифровых систем на высоком и низком уровнях абстракции» // Вестник ТГУ. УВТиИ. 2019. №47 C.110-117
Карандашов М. В. «О транзитивности отображений, ассоциированных с конечными автоматами из групп ASp» // Прикладная дискретная математика. Приложение 2016. №9 C.115-118
Жуковская А. О. , Тренькаев В. Н. «Метод идентификации обратимого автомата с известной функцией выходов» // Прикладная дискретная математика. Приложение 2017. №10 C.140-142
Вы можете добавить статью